fn main() {
    a::<B<>>
}
